@inproceedings{livshits-popl15a-boosting,
  title        = "Program Boosting: Program Synthesis via Crowd-Sourcing",
  author       = "Robert Cochran and  Loris D'Antoni and  Benjamin Livshits and  David Molnar and Margus Veanes",
  year         = "2015",
  month        = jan,
  booktitle    = {Proceedings of the Symposium on Principles of Programming Languages (POPL)}
}